Modify some options (the font & the way ProcessWatcher behaves when the main window is closed).

Does nothing!

Edit menu

This menu is only used for the Preferences item.